//]]>
Interoperability for enterprise software and applications : , proceedings of the workshops and the doctorial symposium of the second IFAC/IFIP I-ESA International Conference: EI2N, WSI, IS-TSPQ 2006 /   Publication: Newport Beach, CA : ISTE, 2006 . 396 p. : 23 cm. Date:2006 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal method : industrial use from model to the code /   Publication: London : ISTE, 2012 . xv, 357 p. : 24 cm. Date:2012 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية